Automerge: Making Servers Optional For Real-Time Collaboration - Martin Kleppmann